Trong toán học, cụ thể là đại số trừu tượng, một miền nguyên là một vành giao hoán (có đơn vị) khác không trong đó tích của hai phần tử khác không là khác không; nói cách khác, nó không có ước của không.[1][2][3]Trong một miền nguyên, mọi phần tử khác không a có tính giản ước, có nghĩa là, nếu a ≠ 0 và ab = ac thì b = c.